278 research outputs found
Local complementation and interlacement graphs
AbstractLet M be a binary matroid on a set E. We show that by performing a sequence of local complementations at ei (i=1,…,n) on the principal interlacement graph of M, for any ordering of E = {e1,…,en}, we obtain a bipartite graph whose two sets of vertices define a partition of E into a base B and a cobase B⊥ of the matroid M. We then give a characterisation of bipartite chordable graphs and, as an application, we give a short proof of Pierre Rosenstiehl's characterization of planar graphs: a graph with a trivial bicycle space is planar if and only if its principal interlacement graph is chordable
Obstacle Numbers of Planar Graphs
Given finitely many connected polygonal obstacles in the
plane and a set of points in general position and not in any obstacle, the
{\em visibility graph} of with obstacles is the (geometric)
graph with vertex set , where two vertices are adjacent if the straight line
segment joining them intersects no obstacle. The obstacle number of a graph
is the smallest integer such that is the visibility graph of a set of
points with obstacles. If is planar, we define the planar obstacle
number of by further requiring that the visibility graph has no crossing
edges (hence that it is a planar geometric drawing of ). In this paper, we
prove that the maximum planar obstacle number of a planar graph of order is
, the maximum being attained (in particular) by maximal bipartite planar
graphs. This displays a significant difference with the standard obstacle
number, as we prove that the obstacle number of every bipartite planar graph
(and more generally in the class PURE-2-DIR of intersection graphs of straight
line segments in two directions) of order at least is .Comment: Appears in the Proceedings of the 25th International Symposium on
Graph Drawing and Network Visualization (GD 2017
Drawings of Planar Graphs with Few Slopes and Segments
We study straight-line drawings of planar graphs with few segments and few
slopes. Optimal results are obtained for all trees. Tight bounds are obtained
for outerplanar graphs, 2-trees, and planar 3-trees. We prove that every
3-connected plane graph on vertices has a plane drawing with at most
segments and at most slopes. We prove that every cubic
3-connected plane graph has a plane drawing with three slopes (and three bends
on the outerface). In a companion paper, drawings of non-planar graphs with few
slopes are also considered.Comment: This paper is submitted to a journal. A preliminary version appeared
as "Really Straight Graph Drawings" in the Graph Drawing 2004 conference. See
http://arxiv.org/math/0606446 for a companion pape
Barycentric systems and stretchability
AbstractUsing a general resolution of barycentric systems we give a generalization of Tutte's theorem on convex drawing of planar graphs. We deduce a characterization of the edge coverings into pairwise non-crossing paths which are stretchable: such a system is stretchable if and only if each subsystem of at least two paths has at least three free vertices (vertices of the outer face of the induced subgraph which are internal to none of the paths of the subsystem). We also deduce that a contact system of pseudo-segments is stretchable if and only if it is extendible
Tr\'{e}maux trees and planarity
We present a simplified version of the DFS-based Left-Right planarity testing
and embedding algorithm implemented in Pigale which has been considered as the
fastest implemented one [J.M. Boyer, P.F. Cortese, M. Patrignani, and G. Di
Battista. Stop minding your P's and Q's: implementing fast and simple DFS-based
planarity and embedding algorithm. In Graph Drawing, volume 2912 of Lecture
Notes in Computer Science, pages 25-36. Springer, 2004.]. We give here a simple
full justification of the algorithm, based on a preliminary extended study of
topological properties of DFS trees.Comment: Special Issue on Graph Drawin
Drawing Planar Graphs with Few Geometric Primitives
We define the \emph{visual complexity} of a plane graph drawing to be the
number of basic geometric objects needed to represent all its edges. In
particular, one object may represent multiple edges (e.g., one needs only one
line segment to draw a path with an arbitrary number of edges). Let denote
the number of vertices of a graph. We show that trees can be drawn with
straight-line segments on a polynomial grid, and with straight-line
segments on a quasi-polynomial grid. Further, we present an algorithm for
drawing planar 3-trees with segments on an
grid. This algorithm can also be used with a small modification to draw maximal
outerplanar graphs with edges on an grid. We also
study the problem of drawing maximal planar graphs with circular arcs and
provide an algorithm to draw such graphs using only arcs. This is
significantly smaller than the lower bound of for line segments for a
nontrivial graph class.Comment: Appeared at Proc. 43rd International Workshop on Graph-Theoretic
Concepts in Computer Science (WG 2017
Compact Floor-Planning via Orderly Spanning Trees
Floor-planning is a fundamental step in VLSI chip design. Based upon the
concept of orderly spanning trees, we present a simple O(n)-time algorithm to
construct a floor-plan for any n-node plane triangulation. In comparison with
previous floor-planning algorithms in the literature, our solution is not only
simpler in the algorithm itself, but also produces floor-plans which require
fewer module types. An equally important aspect of our new algorithm lies in
its ability to fit the floor-plan area in a rectangle of size (n-1)x(2n+1)/3.
Lower bounds on the worst-case area for floor-planning any plane triangulation
are also provided in the paper.Comment: 13 pages, 5 figures, An early version of this work was presented at
9th International Symposium on Graph Drawing (GD 2001), Vienna, Austria,
September 2001. Accepted to Journal of Algorithms, 200
Pixel and Voxel Representations of Graphs
We study contact representations for graphs, which we call pixel
representations in 2D and voxel representations in 3D. Our representations are
based on the unit square grid whose cells we call pixels in 2D and voxels in
3D. Two pixels are adjacent if they share an edge, two voxels if they share a
face. We call a connected set of pixels or voxels a blob. Given a graph, we
represent its vertices by disjoint blobs such that two blobs contain adjacent
pixels or voxels if and only if the corresponding vertices are adjacent. We are
interested in the size of a representation, which is the number of pixels or
voxels it consists of.
We first show that finding minimum-size representations is NP-complete. Then,
we bound representation sizes needed for certain graph classes. In 2D, we show
that, for -outerplanar graphs with vertices, pixels are
always sufficient and sometimes necessary. In particular, outerplanar graphs
can be represented with a linear number of pixels, whereas general planar
graphs sometimes need a quadratic number. In 3D, voxels are
always sufficient and sometimes necessary for any -vertex graph. We improve
this bound to for graphs of treewidth and to
for graphs of genus . In particular, planar graphs
admit representations with voxels
Snapping Graph Drawings to the Grid Optimally
In geographic information systems and in the production of digital maps for
small devices with restricted computational resources one often wants to round
coordinates to a rougher grid. This removes unnecessary detail and reduces
space consumption as well as computation time. This process is called snapping
to the grid and has been investigated thoroughly from a computational-geometry
perspective. In this paper we investigate the same problem for given drawings
of planar graphs under the restriction that their combinatorial embedding must
be kept and edges are drawn straight-line. We show that the problem is NP-hard
for several objectives and provide an integer linear programming formulation.
Given a plane graph G and a positive integer w, our ILP can also be used to
draw G straight-line on a grid of width w and minimum height (if possible).Comment: Appears in the Proceedings of the 24th International Symposium on
Graph Drawing and Network Visualization (GD 2016
Real space first-principles derived semiempirical pseudopotentials applied to tunneling magnetoresistance
In this letter we present a real space density functional theory (DFT)
localized basis set semi-empirical pseudopotential (SEP) approach. The method
is applied to iron and magnesium oxide, where bulk SEP and local spin density
approximation (LSDA) band structure calculations are shown to agree within
approximately 0.1 eV. Subsequently we investigate the qualitative
transferability of bulk derived SEPs to Fe/MgO/Fe tunnel junctions. We find
that the SEP method is particularly well suited to address the tight binding
transferability problem because the transferability error at the interface can
be characterized not only in orbital space (via the interface local density of
states) but also in real space (via the system potential). To achieve a
quantitative parameterization, we introduce the notion of ghost semi-empirical
pseudopotentials extracted from the first-principles calculated Fe/MgO bonding
interface. Such interface corrections are shown to be particularly necessary
for barrier widths in the range of 1 nm, where interface states on opposite
sides of the barrier couple effectively and play a important role in the
transmission characteristics. In general the results underscore the need for
separate tight binding interface and bulk parameter sets when modeling
conduction through thin heterojunctions on the nanoscale.Comment: Submitted to Journal of Applied Physic
- …